msg($a$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$msg(lnk(kind($a$));tag(kind($a$));val($a$))